Issue256.agda:14,1-15,24
Termination checking failed for the following functions:
  ℓ
Problematic calls:
  ℓ (at Issue256.agda:15,22-23)
